CHRAnimation: An Animation Tool for Constraint Handling Rules
نویسندگان
چکیده
Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations.
منابع مشابه
Using Rules to Animate Prolog Programs
The paper provides a methodology to visualize the execution of Prolog programs. Program animation is useful in debugging programs. It could also help beginners to Prolog understand how Prolog works. The provided approach uses Constraint Handling Rules (CHR). The aim of the work is to animate the algorithm implemented by the Prolog program.
متن کاملVisualization of Constraint Handling Rules: Semantics and Applications
The work in the paper presents an animation extension (CHRvis) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug programs. A picture is worth a thousand words. It can help identify where a problem is or show how something works. It can even illustrate a relation that was not clear otherwise. CHRvis aims at embedding animation and visuali...
متن کاملVisualization of Grid-based and Fundamental CHR Algorithms
Visualisation or animation of a certain topic is an attractive method that can aid one’s understanding of the concept behind such topic. This can be beneficial in the programming world, where for a certain implementation of an algorithm, one can follow its flow through its graphical representation. For this work, two fundamental algorithms as well as three grid-based ones are visualised through...
متن کاملTowards Inverse Execution of Constraint Handling Rules
Inverse execution is a non-deterministic process of discovering the inputs to a program starting from its output. This paper deals with the inverse execution of Constraint Handling Rules (CHR). First a simple inversion technique is proposed, which produces a reverse program consisting of rules with exchanged left and right hand sides. The limitations of this method are presented and reveal the ...
متن کامل